List Of Titles

/

Change Site
GlobalView
Default Site
Research Data
Theses

Advanced Search
Expert Search

Sign In

Browse
Quick Collection

Sign In

Help
Search History
Clear Session

Showing items 1 - 2 of 2

Your selections:

interactive systems

1automated air traffic control system 1formal verification 1image registration 1large format displays 1model-driven architecture 1photometric calibration 1projection screens

1Belmonte-Fernández, Óscar 1Castañeda-Garay, Miguel 1Díaz-Tula, Antonio 1Henskens, Frans 1Jnanamurthy, H. K. 1Paul, David 1Pérez-Rosés, Hebert

1conference paper 1journal article

Date

12012 12016

Facets

1automated air traffic control system 1formal verification 1image registration 1large format displays 1model-driven architecture 1photometric calibration 1projection screens

1Belmonte-Fernández, Óscar 1Castañeda-Garay, Miguel 1Díaz-Tula, Antonio 1Henskens, Frans 1Jnanamurthy, H. K. 1Paul, David 1Pérez-Rosés, Hebert

1conference paper 1journal article

Date

12012 12016

Title
Creator
Date

Verification of interactive automated air traffic control system in a model driven approach

- Jnanamurthy, H. K., Henskens, Frans, Paul, David

Creator: Jnanamurthy, H. K. , Henskens, Frans , Paul, David
Resource Type: conference paper
Date: 2016

Detection of non-stationary photometric perturbations on projection screens

- Castañeda-Garay, Miguel, Díaz-Tula, Antonio, Belmonte-Fernández, Óscar, Pérez-Rosés, Hebert

Creator: Castañeda-Garay, Miguel , Díaz-Tula, Antonio , Belmonte-Fernández, Óscar , Pérez-Rosés, Hebert
Resource Type: journal article
Date: 2012

1

English (Australia)
English (Australia)
Disclaimer
Privacy
Copyright
Contact
Deposit

About Vital

‹ › ×

Clear Session

Are you sure you would like to clear your session, including search history and login status?